Concurrent engineering - PDFSEARCH.IO - Document Search Engine

Concurrent engineering
Results: 1149

#	Item
51	Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2016-05-04 09:09:45 Software engineering Computer programming Computing Object-oriented programming Software design patterns Concurrent programming languages Cross-platform software Method Objective-C Invariant Null Object pattern Protocol
52	Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and Add to Reading List Source URL: www.bodden.de Language: English - Date: 2015-02-10 01:12:58 Software engineering Computing Computer programming Cross-platform software Object-oriented programming languages Procedural programming languages Concurrent programming languages Program analysis Program slicing Android Java Subroutine
53	A Note on Monitor Versions Essay in the Honour of C.A.R. Hoare Ole-Johan Dahl Department of Informatics University of Oslo, Norway 30th July 1999 Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Software engineering Computing Programming language theory Concurrency control Edsger W. Dijkstra Monitor Formal methods Hoare logic Event Semaphore Concurrent computing Pascal
54	C URRICULUM V ITAE C HRISTOPH M. K IRSCH C ONTACT Address Add to Reading List Source URL: www.cs.uni-salzburg.at Language: English - Date: 2016-07-18 08:27:08 Software engineering Computing Programming language theory Actor model Concurrent computing Search engine indexing Click Computer Point and click ALGOL 68 Kernel
55	Programmazione di sistemi multicore A.ALECTURE 7 IRENE FINOCCHI Add to Reading List Source URL: twiki.di.uniroma1.it Language: English - Date: 2015-10-12 06:03:05 Computing Software engineering Computer programming Concurrent programming languages Method Cilk Java Const Go Class Forkjoin model Scala
56	ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-05 08:33:10 Concurrency control Computing Computer programming Software engineering Noise Concurrent computing Thread Monitor Lock File locking
57	University of Southern Illinois Carbondale Department of Computer Science Programming with Data Structures using Java – CS220/491 Spring 2016 Course Objectives:  Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:15 Computing Software engineering Computer programming Sun Microsystems Concurrent programming languages Examinations Final examination Java Assignment Algorithm
58	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
59	Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks Lab Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2015-05-18 12:16:37 Concurrency control Computing Transaction processing Data management Software Software transactional memory Transactional memory Linearizability Lock Thread Concurrent data structure Non-blocking algorithm
60	Partial Orders for Efficient Bounded Model Checking of Concurrent Software? Jade Alglave1 , Daniel Kroening2 , and Michael Tautschnig3 1 3 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English Computing Computer memory Memory barrier Static single assignment form Symbolic execution Computer engineering